Four-loop massive tadpole

Finding reduction rules

Initialization

<<LiteRed`;
SetDirectory[NotebookDirectory[]];
SetDim[d];
Declare[{k1,k2,k3,k4},Vector];

Defining the basis and searching for the symmetries

NewBasis[t4,{k4-k1,k1·k1+1,k2·k2+1,k3·k3+1,k4·k4+1,(k1-k2+k4)·(k1-k2+k4)+1,(k1-k3+k4)·(k1-k3+k4)+1,k1-k2,k2-k3,k3-k4},{k1,k2,k3,k4},Directory->"t4 dir"];
GenerateIBP[t4]
AnalyzeSectors[t4,{0,__}]
FindSymmetries[t4]

Searching for the reduction rules and saving

SetOptions[SolvejSector,DiskSave->True,Depth->0]

Timing[SolvejSector[UniqueSectors[t4]]]

DiskSave[t4]

Timing[IBPReduce[RaisingDRR[t4, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1]]]

Timing[IBPReduce[LoweringDRR[t4, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1]]]

DiskSave[t4](*Saving.*)
Quit[](*Quitting the kernel*)